Substitution model - PDFSEARCH.IO - Document Search Engine

Substitution model
Results: 273

#	Item
31	STABLE CANONICAL RULES GURAM BEZHANISHVILI, NICK BEZHANISHVILI, ROSALIE IEMHOFF Abstract. We introduce stable canonical rules and prove that each normal modal rule system is axiomatizable by stable canonical rules. This Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2014-09-10 14:56:21 Modal logic Non-classical logic Model theory Boolean algebra Philosophical logic Kripke semantics Interior algebra Heyting algebra Embedding Intermediate logic Normal modal logic Substitution
32	MEGA5: Molecular Evolutionary Genetics Analysis Using Maximum Likelihood, Evolutionary Distance, and Maximum Parsimony Methods Koichiro Tamura,1,2 Daniel Peterson,2 Nicholas Peterson,2 Glen Stecher,2 Masatoshi Nei,3 and Add to Reading List Source URL: www.megasoftware.net Language: English - Date: 2016-01-11 15:52:39 Computational phylogenetics Phylogenetics Bioinformatics Sequence alignment Masatoshi Nei Multiple sequence alignment Substitution model Maximum parsimony Molecular clock Nucleic acid sequence Lineage Phylogenetic tree
33	Urban Population and Amenities: The Neoclassical Model of Location David Albouy University of Illinois and NBER Bryan Stuart∗ Add to Reading List Source URL: davidalbouy.net Language: English - Date: 2015-11-16 18:24:53 Consumer theory Microeconomics Production economics Demand Supply and demand Constant elasticity of substitution Labour economics Economics Partial equilibrium Economic equilibrium
34	Expected Consumption Growth Across Countries: Add to Reading List Source URL: www.ssc.wisc.edu Language: English - Date: 2008-06-17 16:19:50 Economy Economics Consumer theory Inflation Monetary policy Elasticity of intertemporal substitution Economic growth Real interest rate Real versus nominal value Random walk model of consumption Interest rate Macroeconomics
35	Call by Contract for Cryptographic Protocols Add to Reading List Source URL: evenmere.org Language: English - Date: 2008-06-23 13:57:19 Formal methods Logic in computer science Metalogic Automated theorem proving Logic programming Substitution Postcondition First-order logic Parameter Precondition Well-formed formula Model theory
36	What to Expect from an International System of Tradable Permits for Carbon Emissions Warwick J. McKibbin Australian National University and The Brookings Institution Add to Reading List Source URL: een.anu.edu.au Language: English - Date: 2011-01-29 20:15:30 Economy Production economics Business Economics Constant elasticity of substitution Elasticity Profit Production CobbDouglas production function Measures of national income and output Economic model Environmentally extended input-output analysis
37	Working Paper Series _______________________________________________________________________________________________________________________ National Centre of Competence in Research Financial Valuation and Risk Manageme Add to Reading List Source URL: www.nccr-finrisk.uzh.ch Language: English - Date: 2016-02-22 11:43:56 Economy Economics Macroeconomics Consumer theory Monetary policy Mathematical finance Keynesian economics Interest rates Inflation ISLM model Elasticity of intertemporal substitution Real interest rate
38	Maximum likelihood estimation of a migration matrix and effective population sizes in n subpopulations by using a coalescent approach Peter Beerli* and Joseph Felsenstein Department of Genetics, University of Washington, Add to Reading List Source URL: evolution.gs.washington.edu Language: English - Date: 2012-05-07 19:04:34 Statistics Statistical theory Statistical genetics Estimation theory Population genetics Coalescent theory M-estimators Maximum likelihood estimation Likelihood-ratio test Likelihood function Substitution model Confidence interval
39	THE COMPLEXITY OF SATISFACTION PROBLEMS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Satisfiability problems play a central role in computer science and engineering as a general framework for studying the complexity of Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-02-06 12:14:26 Automated theorem proving Logic programming Logic in computer science Boolean algebra Model theory Substitution Boolean satisfiability problem Interpretation Relationships among probability distributions Lifting theory
40	Nunchaku: Flexible Model Finding for Higher-Order Logic Simon Cruanes, Jasmin Blanchette, Andrew Reynolds Veridis, Inria Nancy https://cedeela.fr/~simon/ April 7th, 2016 Add to Reading List Source URL: cedeela.fr Language: English - Date: 2016-04-07 05:17:04 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution